1. Automated deduction--CADE 16

پدیدآورنده :

کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)

موضوع : Automatic theorem proving--Congresses,Logic, Symbolic and mathematical--Congresses

رده :
QA
,
76
.
9
,.
A96
,
I57
,
1999

2. Automated deduction--CADE-16 : 16th International; Conference on Automated Deduction, Trento, Italy, July 7-10, 1999 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical

رده :
QA
76
.
L28
Vol
.
1632

3. Informatik :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Hotz, Günter,Informatik,MATHEMATIK

رده :
QA76
.
5
H774
1992

4. Logic programming and automated reasoning : 6th International Conference, LPAR'99, Tbilisi, Georgia, September 6-10, 1999 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Logic programming,Congresses ، Automatic theorem proving

رده :
QA
76
.
L28
Vol
.
1705

5. Programs as Data Objects :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Computer science.,Logic design.,Software engineering.

6. Rewriting techniques and applications :

پدیدآورنده :

کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)

موضوع : Algorithms, Congresses,Computer programming, Congresses,Rewriting systems (Computer science), Congresses,base Gröbner,déduction,lambda calcul,Logique,réécriture,réecriture conditionnelle,réécriture graphe,Sémantique,théorie type,unification

رده :
QA267
.
R48
1996

7. Rewriting techniques and applications : 7th international conference, RTA-96, New Brunswick, NJ, USA, July 27-30 1996 : proceedings

پدیدآورنده :

کتابخانه: (طهران)

موضوع : Congresses ، Rewriting systems )Computer science(,Congresses ، Computer programming,Congresses ، Algorithms

رده :
QA
76
.
L28
Vol
.
1103